Ex: The EPIC service is a full-featured on-line reference system that provides subject access, and keyword and Boolean searching to a variety of databases.
Spanish-English dictionary. 2013.
Problema de satisfacibilidad booleana — Saltar a navegación, búsqueda En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana (SAT) fue el primer problema identificado como perteneciente a la clase de complejidad NP completo. Se trata de un problema donde… … Wikipedia Español
Problema de la fórmula booleana cuantificada — Saltar a navegación, búsqueda El lenguaje TQBF es un lenguaje formal de la ciencia computacional que contiene Fórmulas Booleanas Verdaderas Totalmente Cuantificadas. Una fórmula booleana plenamente cuantificada es una fórmula en lógica de primer… … Wikipedia Español
Aspseek — Saltar a navegación, búsqueda Aspseek es un buscador de Internet de código libre desarrollado por SWsoft. Aspseek puede almacenar algunos millones de direcciones URL y buscar por palabras y frases, usando caracteres de comodín y una búsqueda… … Wikipedia Español
Claire Schultz — Claire Kelly Schultz (17 de noviembre de 1924) es una informática y documentalista científica estadounidense. Su aportación en el campo de la Información y Documentación científica se debe a las distintas implementaciones que hizo en el modelo… … Wikipedia Español
Edward Vermilye Huntington — Saltar a navegación, búsqueda Edward Vermilye Huntington (26 de abril de 1874, Clinton, Nueva York, EE.UU. 25 de noviembre de 1952, Cambridge, Massachusetts, EE.UU.) fue un matemático estadounidense. Edward Vermilye Huntington recibió los grados… … Wikipedia Español
Formas Canónicas (Álgebra de Boole) — Saltar a navegación, búsqueda En Álgebra booleana, se conoce como término canónico de una función lógica a todo producto o suma en la cual aparecen todas las variables en su forma directa o inversa. Una Función lógica que está compuesta por… … Wikipedia Español
Vuelta Atrás — Este artículo o sección sobre matemáticas necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 29 de mayo de 2011. También puedes… … Wikipedia Español
Computación basada en ADN — La Computación basada en ADN consiste en usar moléculas de ADN en vez de procesadores basados en silicio. Las ventajas de la computación por ADN se basan en dos características fundamentales: El gran paralelismo de las hebras de ADN. Muchos de… … Wikipedia Español
Jerga informática — Anexo:Jerga informática Saltar a navegación, búsqueda El lenguaje de la informática está caracterizado por emplear numerosos anglicismos, puesto que el idioma inglés se ha convertido en la lengua franca de la informática. El uso de algunas… … Wikipedia Español
NP (Complejidad computacional) — Saltar a navegación, búsqueda Los recursos comúnmente estudiados en complejidad computacional son: – El tiempo: mediante una aproximación al número de pasos de ejecución que un algoritmo emplea para resolver un problema. – El espacio: mediante… … Wikipedia Español
Hilary Putnam — Retrato de Putnam. Hilary Whitehall Putnam (nacido el 31 de julio de 1926, en Chicago (Illinois)) es u … Wikipedia Español
